Model theory - PDFSEARCH.IO - Document Search Engine

Model theory
Results: 13417

#	Item
241	Gentzen calculi for the existence predicate Matthias Baaz and Rosalie Iemhoff∗ Institute for Discrete Mathematics and Geometry E104, Technical University Vienna, Wiedner Hauptstrasse 8-10, 1040 Vienna, Austria. baaz@lo Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2008-12-12 07:17:03 Logic Mathematical logic Abstraction Proof theory Model theory Non-classical logic Predicate logic Philosophical logic Natural deduction Sequent calculus Sequent First-order logic
242	Microsoft Word - CFPDraft- PN Add to Reading List Source URL: petrinets2014.cnam.fr Language: English - Date: 2013-06-24 11:01:34 Concurrency Models of computation Petri nets Theoretical computer science International Conference on Applications and Theory of Petri Nets and Concurrency Software engineering Diagrams Computing Model checking Wil van der Aalst Petri
243	! An Agent-Based Approach to Modeling Membrane Formation Bryan Head, Kai Orton, Uri Wilensky Center for Connected Learning and Computer-Based Modeling Add to Reading List Source URL: ccl.northwestern.edu Language: English - Date: 2016-05-03 12:24:06 Academia Systems science Membrane biology Biology Systems theory Scientific modeling Models of computation Organelles Cell membrane Agent-based model Biological membrane Scientific modelling
244	Markets with a Continuum of Traders Author(s): Robert J. Aumann Source: Econometrica, Vol. 32, NoJan. - Apr., 1964), ppPublished by: The Econometric Society Stable URL: http://www.jstor.org/stable Add to Reading List Source URL: webfiles.uci.edu Language: English - Date: 2009-05-11 03:45:07 Economics Economy Auction theory Competition Competitive equilibrium Market Microeconomics Fellows of the Econometric Society Game theory ArrowDebreu model Herbert Scarf Edgeworth conjecture
245	Microsoft Word - IERI Academy Agenda Nov 2009.docx Add to Reading List Source URL: ierinstitute.org Language: English - Date: 2012-01-05 08:16:08 Statistics Statistical models Psychometrics Statistical methods Analysis of variance Regression analysis Item response theory Rasch model Mixed model AMPL Conceptual model Generalized linear mixed model
246	A simple technique to establish sequences of datums and to highlight transgressive-regressive cycles Add to Reading List Source URL: paleopolis.rediris.es Language: English - Date: 2016-02-23 12:34:59 Complexity classes Finite model theory FO SO Biostratigraphy
247	407 Documenta Math. Quotients of MGL, Their Slices and Their Geometric Parts Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2015-07-16 12:25:57 Mathematics Abstract algebra Algebra Homotopy theory Algebraic topology Category theory Functors Model category Simplicial set Homotopy category Algebraic K-theory Cohomology
248	Approximating the Size of a Radio Network in Beeping Model Philipp Brandes1 , Marcin Kardas2 , Marek Klonowski2 , Dominik Pająk2 , and Roger Wattenhofer1 ? 1 2 Add to Reading List Source URL: www.tik.ee.ethz.ch Language: English - Date: 2016-07-19 07:32:17 Computational complexity theory Analysis of algorithms Theory of computation Mathematics Probability theory Mathematical notation Leader election Randomized algorithm Big O in probability notation Time complexity -net
249	fg_apr13_SD_trust_2-13_ch2 Add to Reading List Source URL: www.minneapolisfed.org Language: English - Date: 2014-11-04 10:28:06 Economics Economy Demand Consumer theory Market Supply and demand Tax Labour economics Value-added tax ADAS model Tax incidence
250	Empirical Issues in Syntax and Semantics 8 O. Bonami & P. Cabredo Hofherr (eds, pp. 123–141 http://www.cssp.cnrs.fr/eiss8 Expressive Modifiers & Mixed Expressives Add to Reading List Source URL: www.cssp.cnrs.fr Language: English - Date: 2011-02-21 12:14:18 Logic Abstraction Philosophy Philosophy of language Formal languages Grammar Type theory Model theory Proposition Meaning Musical argument Intensifier

UPDATE